$\forall$${\it Pgm}$, ${\it Sem}$:Type, $S$:(${\it Pgm}$$\rightarrow$${\it Sem}$), $X$:(${\it Sem}$$\rightarrow\mathbb{P}$), ${\it pr}$:${\it Pgm}$. ${\it pr}$ $\vDash$ $X$ $\in$ $\mathbb{P}$